linearity of differentiation